axioms of set theory meaning in French
axiome de la théorie des ensembles
Examples
- This shows that both propositions are consistent with the basic axioms of set theory, if ZF itself is consistent.
Ceci prouve que ces deux propositions sont cohérentes avec les axiomes de ZF, à condition que ZF soit déjà cohérente. - The Kripke–Platek axioms of set theory (KP), pronounced /ˈkrɪpki ˈplɑːtɛk/, are a system of axiomatic set theory developed by Saul Kripke and Richard Platek.
La théorie des ensembles de Kripke-Platek est un système d'axiomes du premier ordre pour la théorie des ensembles, développé par Saul Kripke et Richard Platek. - In this sense, the continuum hypothesis is undecidable, and it is the most widely known example of a natural statement that is independent from the standard ZF axioms of set theory.
En ce sens, l'hypothèse du continu est indécidable, et c'est l'exemple le plus connu d'un énoncé naturel qui est indépendant des axiomes de la théorie des ensembles de Zermelo-Fraenkel. - He also showed that neither the axiom of choice nor the continuum hypothesis can be disproved from the accepted axioms of set theory, assuming these axioms are consistent.
Il a aussi démontré la cohérence relative de l'hypothèse du continu, montrant qu'elle ne peut pas être réfutée à partir des axiomes admis de la théorie des ensembles, en admettant que ces axiomes soient cohérents. - The continuum hypothesis, which tries to ascertain the relative cardinality of certain infinite sets, was eventually shown to be undecidable (or independent) from the generally accepted set of axioms of set theory.
Par exemple, l'hypothèse du continu - qui essaye d'établir la cardinalité relative de certains ensembles infinis - s'est avérée indécidable à partir de l'ensemble des axiomes généralement admis de la théorie des ensembles.